Model-based testing

Results: 198



#Item
131Planetary science / Geomorphology / Forestry / FluxNet / ICESat / LIDAR / Remote sensing / Allometry / Ecology / Cartography / Earth / Spacecraft

Allometric Scaling and Resource Limitations Model of Tree Heights: Part 2. Site Based Testing of the Model. Remote Sens. 2013, 5, 202–223

Add to Reading List

Source URL: cybele.bu.edu

Language: English - Date: 2013-01-18 13:50:05
132Formal methods / Software engineering / Software testing / Model checking / Postcondition / Software development process / Requirement / Model-based testing / Theoretical computer science / Software development / Logic in computer science

Agile Verification Gerard J. Holzmann [removed] how we design & test software today

Add to Reading List

Source URL: www.kiss.caltech.edu

Language: English - Date: 2012-08-03 13:15:57
133Ethology / Null / Pairwise comparison / Rasch model / Conceptual model / SQL / Economic model / Statistical hypothesis testing / Scale / Psychometrics / Statistics / Science

Package ‘psychotree’ August 29, 2014 Title Recursive Partitioning Based on Psychometric Models Version[removed]Date[removed]Depends R (>= 2.15.0), partykit (>= 0.2-0), psychotools (>= 0.3-0)

Add to Reading List

Source URL: cran.r-project.org

Language: English - Date: 2014-08-28 19:21:58
134Software development / Model-based testing / System testing / Oracle / KeY / Test automation framework / Test automation / Functional specification / Test plan / Software testing / Technology / Software quality

Model-based Approach to Security Test Automation Mark Blackburn Robert Busser Aaron Nauman Software Productivity Consortium/T-VEC 2214 Rock Hill Road, Herndon, VA 20170

Add to Reading List

Source URL: csrc.nist.gov

Language: English - Date: 2007-09-19 01:00:00
135Information / Criminal investigation / ISO/IEC 11179 / Clarksburg /  West Virginia / Criminal Justice Information Services Division / Federal Bureau of Investigation / National Information Exchange Model / Data sharing / United States Department of Justice / Data / Government

Law enforcement agencies participating in MoDEx will have the option to participate in the Missouri Incident Based Reporting System (MIBRS) once their data is copied to the data warehouse and MIBRS testing from MoDEx to

Add to Reading List

Source URL: www.mshp.dps.mo.gov

Language: English - Date: 2011-07-20 13:28:40
136Safety / Active fire protection / Safety equipment / Plumbing / Fire hydrant / Street furniture / Fire sprinkler system / Fire pump / Fire extinguisher / Fire suppression / Fire protection / Technology

NATIONAL INSTITUTE FOR CERTIFICATION IN ENGINEERING TECHNOLOGIES www.nicet.org[removed]Inspection and Testing of Water-Based Systems Standard Model/Computer-Based Testing

Add to Reading List

Source URL: www.nicet.org

Language: English - Date: 2014-07-16 14:09:08
137Relational database management systems / Database management systems / Database normalization / Database testing / Model-based testing / SQL / Test automation / Oracle Database / Requirement / Software / Computing / Software testing

Interface-driven Model-based Generation of Java Test Drivers Mark Blackburn, Robert Busser, Aaron Nauman, T-VEC Technologies/SPC Ramaswamy Chandramouli, National Institute of Standards and Technology This paper extends p

Add to Reading List

Source URL: csrc.nist.gov

Language: English - Date: 2007-09-19 01:00:00
138Software development / Software engineering / Quality / Specification / Software development methodology / KeY / JavaScript / Functional testing / Oracle / Software / Computing / Software testing

Model-based Approach to Security Test Automation Mark Blackburn, Robert Busser, Aaron Nauman, T-VEC Ramaswamy Chandramouli, National Institute of Standards and Technology Security functional testing is a costly activity

Add to Reading List

Source URL: csrc.nist.gov

Language: English - Date: 2007-09-19 01:00:00
139Evaluation / Smart card application protocol data unit / Model-based testing / Smart card / FIPS 201 / KeY / Test execution engine / Science / ISO standards / Software testing / Smart cards

SPECIFICATION-DRIVEN TESTING OF SMART CARD INTERFACE USING A FORMAL MODEL

Add to Reading List

Source URL: csrc.nist.gov

Language: English - Date: 2009-06-18 01:00:00
140Technology / Fluid mechanics / Fire sprinkler system / Lockout-tagout / Fire sprinkler / Fire pump / Check valve / Inspection / Fire suppression / Safety / Active fire protection

NATIONAL INSTITUTE FOR CERTIFICATION IN ENGINEERING TECHNOLOGIES www.nicet.org[removed]Inspection and Testing of Water-Based Systems Standard Model/Computer-Based Testing

Add to Reading List

Source URL: www.nicet.org

Language: English - Date: 2014-07-16 14:08:39
UPDATE